Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications
نویسندگان
چکیده
Control and data flow aspects of a distributed system can be identified through the analysis of control and data dependencies that exist not only within processes, but also across process boundaries. This paper proposes a non-interleaving model that exposes the intra-process as well as inter-process control and data dependencies in a specification of a distributed system given in SDL. The model facilitates the generation of tests through the application of controlflow as well as data-flow oriented test selection criteria.
منابع مشابه
Autolink: A Tool for Automatic Test Generation from SDL Specifications
Due to an increasing interest in SDL, MSC and TTCN based tools for validation and test generation, Telelogic AB, Malmm o, and the Institute for Telematics of the University of L ubeck are cooperating in a research and development project aiming at bringing new test generation facilities to the Tau tool set. For that purpose, a software component has been developed which supports the automatic g...
متن کاملGenerating Mixed Hardware/Software Systems from SDL Specifications
A new approach for the translation of SDL specifications to a mixed hardware/software system is presented. Based on the computational model of communicating extended finite state machines (EFSM) the control flow is separated from data flow of the SDL process. Hence for the first time it is possible to generate a mixed hardware/software implementation of an SDL process. This technique also reduc...
متن کاملArchitecting Specifications for Test Case Generation 1
The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Surprisingly, little documentation exists on the optimal way to specify systems so that they can best be used for the generation of tests. This paper, elaborates on the different tool supported approaches that can be take...
متن کاملAutomating the process of test derivation from SDL specifications
In this paper, we present a set of automated tools for the development of conformance tests following a methodology based on a partial unfolding of a given SDL specification, describing the behavior of the system under test. The methodology relies on FSM-based test derivation methods which focus on the fault coverage aspect of testing. The tool kit offers to the test designer a number of option...
متن کاملDerivation of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threads
Implementations automatically derived from SDL descriptions often do not fulfill the performance requirements of performance-sensitive applications. In the paper, we describe how three different techniques mainly known from the manual implementation of protocol architectures can be applied to automatically derive efficient implementations from SDL specifications. The three techniques are data r...
متن کامل